A complete Heyting algebra whose Scott space is non-sober
نویسندگان
چکیده
We prove that (1) for any complete lattice $L$, the set $\mathcal {D}(L)$ of all non-empty saturated compact subsets Scott space $L$ is a Heyting algebra (with reverse inclusion order); and (2) if latti
منابع مشابه
Lattice of Substitutions is a Heyting Algebra
(6) For every finite element a of V→̇C holds {a} ∈ SubstitutionSet(V,C). (7) If A a B = A, then for every set a such that a ∈ A there exists a set b such that b ∈ B and b⊆ a. (8) If μ(A a B) = A, then for every set a such that a ∈ A there exists a set b such that b ∈ B and b⊆ a. (9) If for every set a such that a ∈ A there exists a set b such that b ∈ B and b ⊆ a, then μ(A a B) = A. Let V be a s...
متن کاملAlgebra of Normal Forms Is a Heyting Algebra1
We prove that the lattice of normal forms over an arbitrary set, introduced in [12], is an implicative lattice. The relative pseudo-complement α ⇒ β is defined as α 1 ∪α 2 =α −α 1 α 2 β, where −α is the pseudo-complement of α and α β is a rather strong implication introduced in this paper. [1] provide the notation and terminology for this paper. The following proposition is true (1) Let A, B, C...
متن کاملA new characterization of complete Heyting and co-Heyting algebras
We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra C. This result provides an unexpected relationship with the field of Nash equilibria, being based on the so-called Veinott ordering relation on subcomplete sublattices of C, which is crucially used in Topkis’ theorem for studying the order-theoretic stucture of Nash equilibria of supermodular games. Intr...
متن کاملA Homogeneous Space Whose Complement Is Rigid
We construct a homogeneous subspace of 2ω whose complement is dense in 2ω and rigid. Using the same method, assuming Martin’s Axiom, we also construct a countable dense homogeneous subspace of 2ω whose complement is dense in 2ω and rigid.
متن کاملMenger probabilistic normed space is a category topological vector space
In this paper, we formalize the Menger probabilistic normed space as a category in which its objects are the Menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. Then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. So, we can easily apply the results of topological vector spaces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2021
ISSN: ['0016-2736', '1730-6329']
DOI: https://doi.org/10.4064/fm704-4-2020